@livnev what you may need to do is change the git submodule update --init evm-semantics to git submodule update --init --recursive in the Makefile here.

Thanks @ehildenb , that helped it progress past the make deps stage.

2020-06-13T10:23:49.457Z
Report saved to out/report/index.html
Using evm-semantics from /home/bbworker/worker/klab/build/evm-semantics
Proof STARTING�(B: 575df32cbd094c8a2666ddd55a41a8b21d91ac1430e8dbbee519eb733dc9a4e8.k [Callee_add_pass_rough] (with state logging�(B)
Proof 113 REJECT�(B: b08d4aedf0e30d390381701d1d0567b82015580b0f0967cb68e2fb60ea4caa41.k [Vat_subui_pass_rough] (with state logging�(B)
klab-get-lemmas: no logfile for b08d4aedf0e30d390381701d1d0567b82015580b0f0967cb68e2fb60ea4caa41

It seems like klab get-lemmas is now unable to find the log files...

Hmmmm, not sure what's going wrong there. Maybe you can try running it locally and seeing where it's dumping the log files? It may also help to see the exact invocation of kprove ... it's making, and to see where klab is looking for the log files.

Unfortunately it would appear that I cannot access the DappHub CI, because it wants access to my GitHub? So I can't see the output myself.